Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for GPU Computing"
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
Artifact submission of the regular paper: A GPU Tree Database for Many-Core Explicit State Space Exp...
This artifact contains the code accompanying the POPL 2023 paper Hefty Algebras: Modular Elaboration...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This document is the artifact description of the paper entitled “Apollo: Automatic Partition-based O...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is an implementation of the HPAC-Offload programming model that equips OpenMP offload applicati...
This artifact includes all code and scripts to reproduce the result of our paper: Automatic Horizont...
This artifact is for the paper "Demystifying the Dependency Challenge in Kernel Fuzzing" in ICSE 202...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
Artifact submission of the regular paper: A GPU Tree Database for Many-Core Explicit State Space Exp...
This artifact contains the code accompanying the POPL 2023 paper Hefty Algebras: Modular Elaboration...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This document is the artifact description of the paper entitled “Apollo: Automatic Partition-based O...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is an implementation of the HPAC-Offload programming model that equips OpenMP offload applicati...
This artifact includes all code and scripts to reproduce the result of our paper: Automatic Horizont...
This artifact is for the paper "Demystifying the Dependency Challenge in Kernel Fuzzing" in ICSE 202...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
DOI
Add to ORKG